1. A 25-Year perspective on logic programming
پدیدآورنده: / Agostino Dovier, Enrico Pontelli (Eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Italian Association for Logic Programming,Logic programming
رده :
QA76
.
63
.
T84
2010
2. A beginner's guide to Programming logic and design
پدیدآورنده: Farrell, Joyce.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: ، Logic programming,، Logic design
رده :
QA
76
.
63
.
F37
3. A fuzzy PROLOG database system
پدیدآورنده: Li, Deyi
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Data base management,، Prolog )Computer program language(,، Logic programming,، Fuzzy systems
رده :
QA
76
.
9
.
D3
.
L52
1990
4. A fuzzy PROLOG database system
پدیدآورنده: Deyi Li and Dongbo Liu
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: ، Database management,، Prolog )Computer program language(,، Logic programming,، Fuzzy systems
رده :
QA
76
.
9
.
D3
L52
1990
5. A science of operations
پدیدآورنده: / by Peter Mark Priestley
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
رده :
QA76
.
6
.
P75
2010
6. A science of operations
پدیدآورنده: Mark Priestley.,Priestley, Mark
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computer programming,Programming languages (Electronic computers),Microcomputers,Logic, Symbolic and mathematical.,History.,History.,History.
رده :
QA76
.
6
.
P73
2011
7. A science of operations
پدیدآورنده: Mark Priestley
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
رده :
QA
،
76
.
6
،.
P737
،
2010
8. A tight, practical integration of relations and functions
پدیدآورنده: Harold Boley
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming,، Functional programming )Computer science(,، Relational databases
رده :
QA
76
.
L28
Vol
.
1712
9. A 25-year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP
پدیدآورنده: Agostino Dovier, Enrico Pontelli )Eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Gruppo Ricercatori e Utenti Logic Programming.,، Logic programming
رده :
QA
76
.
63
.
A14
2010
10. ALPUK 92
پدیدآورنده: Krysia Broda )ed.(.
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Logic programming -- Congresses
رده :
QA
76
.
63
.
A38
1993
11. Adapting proofs-as-programs
پدیدآورنده: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
رده :
E-BOOK
12. Adapting proofs-as-programs
پدیدآورنده: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing., Poernomo, Iman Hafiz, 1976-
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Curry-Howard isomorphism., Proof theory., Logic, Symbolic and mathematical., Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
رده :
QA
9
.
54
.
P64
2005
13. Adapting proofs-as-programs
پدیدآورنده: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
رده :
QA
,
9
.
54
,.
P64
,
2005
14. Adapting proofs-as-programs
پدیدآورنده: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
رده :
E-BOOK
15. Advanced programming methodologies
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: LoGlan 82 (Computer program language) ► Logic programming (Coputer program)
رده :
005
A244
17. Advances in inductive logic programming
پدیدآورنده: edited by L. De Raedt
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Logic programming
رده :
QA
76
.
63
.
A38
1996
18. Advances in knowledge Representation, Logic programming, and Abstract Argumentation
پدیدآورنده: \ [edited by] Thomas Eiter...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Artificial intelligence,Logic programming.,هوش مصنوعی,برنامهنویسی منطقی.,a03,a04,a03,a04
رده :
TJ
211
.
A3
2015
E-Book
,
19. Algebraic and logic programming
پدیدآورنده: / J. Grabowski, P. Lescanne, W. Wechler (eds.)
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic programming -- Congresses,Algebraic logic -- Congresses
رده :
QA
76
.
6
.
A4583
1988
20. Algebraic and logic programming :
پدیدآورنده: Giorgio Levi, Mario Rodríguez Artalejo (Eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebraic logic-- Congresses,Logic programming-- Congresses
رده :
QA76
.
6
.
A45843
1994
